A Two - Phase Approach to Reverse EngineeringUsing Formal
نویسندگان
چکیده
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be in a \legacy" or \geriatric" state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming , have prompted a need to reverse engineer and re-engineer program code. This paper presents a two-phase approach to reverse engineering, the results of which can be used to guide the re-implementation of an object-oriented version of the system. The rst phase abstracts formal speciications from program code, while the second phase constructs candidate objects from the formal speciications obtained from the rst phase.
منابع مشابه
Formal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملA Multi-attribute Reverse Auction Framework Under Uncertainty to the Procurement of Relief Items
One of the main activities of humanitarian logistics is to provide relief items for survivors in case of a disaster. To facilitate the procurement operation, this paper proposes a bidding framework for supplier selection and optimal allocation of relief items. The proposed auction process is divided into the announcement construction, bid construction and bid evaluation phases. In the announcem...
متن کاملA New Thermodynamic Approach for Protein Partitioning in Reverse Micellar Solution
Reverse micellar systems are nanofluids with unique properties that make them attractive in high selectivity separation processes, especially for biological compounds. Understanding the phase behavior and thermodynamic properties of these nanosystems is the first step in process design. Separation of components by these nanosystems is performed upon contact of aqueous and reverse micellar phase...
متن کاملDesigining strategic management model for primary prevention of addiction a cultural approach, Diversification
This study aimed to design a strategic management model for primary prevention of addiction with a cultural approach. From this point of view, using a consecutive exploratory (qualitative-quantitative) design, it has attempted to evaluate the factors and finally formulate a strategic management model of primary prevention of addiction with a cultural approach. Thus, in the Delphi phase with the...
متن کاملComprehensive Decision Modeling of Reverse Logistics System: A Multi-criteria Decision Making Model by using Hybrid Evidential Reasoning Approach and TOPSIS (TECHNICAL NOTE)
In the last two decades, product recovery systems have received increasing attention due to several reasons such as new governmental regulations and economic advantages. One of the most important activities of these systems is to assign returned products to suitable reverse manufacturing alternatives. Uncertainty of returned products in terms of quantity, quality, and time complicates the decis...
متن کامل